Temporal Constraints in Non-temporal Data Modelling Languages
نویسنده
چکیده
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated with schemas expressed in that modelling language. This paper terms these restrictions temporal constraints, and defines three types of temporal constraint which are argued to be useful modelling concepts, capturing important real-world semantics about objects and their relationships. By reviewing how these temporal constraints are implied by either the definition or usage of UML and the relational modelling languages, this paper will use the temporal constraints to give precise definitions of modelling concepts that to date have been left only vaguely and partially understood. It will also consider the implementation of these constraints in SQL. keywords: data modelling, dynamic behaviour, conceptual modelling, temporal constraints
منابع مشابه
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the liter...
متن کاملModelling Temporal Semantics of Data
Recently, many temporal query languages, such as TCAL and TQuel have been proposed for temporal databases. However, there are still some limitations such as the inadequacy on operating data with temporal elements and handling the semantics of time ‘NOW ’ in these temporal query languages. After defining a new temporal relational algebra, in this paper we build a tuple calculus language based on...
متن کاملA A Cookbook for Temporal Conceptual Data Modelling with Description Logics
We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. The logics are interpreted over ...
متن کاملTransition Constraints for Temporal Attributes
Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential to have a language that is expressive enough to capture the required operational semantics of the time-varying information. Temporal modelling languages have little support for...
متن کاملA Rule-Oriented Formalism for Active Temporal Databases
This paper introduces a declarative conceptual modelling formalism and a database transaction handling mechanism for active temporal database applications. The term ‘active temporal databases’ is used in this paper to refer to databases that support historical information and in addition, provide mechanisms to express and handle constraints, derivations and actions on the stored information. Th...
متن کامل